Testing a Function for Injectiveness